Dynamic logic - PDFSEARCH.IO - Document Search Engine

Dynamic logic
Results: 262

#	Item
71	ConSeq: Detecting Concurrency Bugs through Sequential Errors Wei Zhang1 Junghee Lim1 Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2011-02-02 17:07:10 Software bugs Logic in computer science Debugging Lock Race condition Thread Parallel computing Assertion Dynamic random-access memory Computing Computer programming Software engineering
72	Runtime Model Checking of Multithreaded C Programs using Automated Instrumentation Dynamic Partial Order Reduction and Distributed Checking ⋆ Ganesh Gopalakrishnan Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2007-12-21 11:36:45 Application programming interfaces Parallel computing Model checking Formal methods Logic in computer science Principles of Programming Languages SPIN model checker Thread Formal verification Computing Computer science Computer programming
73	Sneaking Around concatMap Efficient Combinators for Dynamic Programming Christian H¨oner zu Siederdissen Institute for Theoretical Chemistry, University of Vienna, 1090 Wien, Austria Add to Reading List Source URL: www.tbi.univie.ac.at Language: English - Date: 2012-07-04 05:49:20 Higher-order functions Lambda calculus Functional programming Recursion Procedural programming languages Combinatory logic Fold Dynamic programming Map Software engineering Computing Computer programming
74	CCCG 2008, Montr´eal, Qu´ebec, August 13–15, 2008 Maximal Covering by Two Isothetic Unit Squares Priya Ranjan Sinha Mahapatra ∗ Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-29 00:08:01 Proof theory Dynamic programming Earley parser Euclidean algorithm Mathematics Mathematical analysis Mathematical logic
75	Dynamic Logic for Plan Revision in Intelligent Agents M. Birna van Riemsdijk Frank S. de Boer John-Jules Ch. Meyer Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2005-04-26 08:07:47 Logic in computer science Programming language semantics Model theory Structure Universal algebra Operational semantics 3APL Ω-consistent theory Algorithm characterizations Theoretical computer science Mathematical logic Mathematics
76	Fair and Balanced: Learning to Present News Stories Amr Ahmed∗1 , Choon Hui Teo∗1 , S.V. N. Vishwanathan2 , Alex Smola1 2 1 Yahoo! Research, Santa Clara, CA 95053, USA Add to Reading List Source URL: www.stat.purdue.edu Language: English - Date: 2012-02-26 10:11:37 Mathematical optimization Abstract algebra Operations research Entailment Matroid Dynamic programming Logic Mathematics Submodular set function
77	Automatic Synthesis of Rules for Planning in Belief Space Leslie Pack Kaelbling MIT CSAIL Cambridge, MAEmail: Add to Reading List Source URL: faculty.cua.edu Language: English - Date: 2015-05-26 14:10:44 Stochastic control Control theory Logic in computer science Partially observable Markov decision process Fluent Probability Markov decision process Statistics Dynamic programming Markov processes
78	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-19 11:52:49 Integer sequences Combinatorics Arithmetic Big O notation Dynamic programming Fibonacci Summation Factorial Mathematics Mathematical notation Fibonacci numbers
79	CS 373: Combinatorial Algorithms, Fall 2000 Homework 1 (due September 12, 2000 at midnight) Name: Net ID: Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 08:48:11 Mathematical logic Theoretical computer science Dynamic programming Greedy algorithm Sorting algorithm Randomized algorithm Mathematics Applied mathematics Algorithm
80	Microsoft Word - 2_21_Hidemi_Ishiuchi_ABSTRACT_BIO.docx Add to Reading List Source URL: inc11.org Language: English - Date: 2015-04-13 05:43:24 Logic families Electronic design Computer memory Semiconductors Nanoelectronics Semiconductor industry Dynamic random-access memory Semiconductor device MOSFET Electronic engineering Technology Electronics

UPDATE